vector addition system造句

A " vector addition system " consists of a finite set of integer arcs labelled by integer vectors.
Examples of mathematical objects often used to model systems are : finite state machines, labelled transition systems, Petri nets, vector addition systems, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, denotational semantics, axiomatic semantics and Hoare logic.
It's difficult to find vector addition system in a sentence. 用vector addition system造句挺难的